Substitution model - PDFSEARCH.IO - Document Search Engine

Substitution model
Results: 273

#	Item
131	Molecular Phylogenetics and Evolution[removed]–666 Contents lists available at ScienceDirect Molecular Phylogenetics and Evolution journal homepage: www.elsevier.com/locate/ympev Add to Reading List Source URL: hydrodictyon.eeb.uconn.edu Language: English - Date: 2013-05-06 21:33:04 Biology Burying beetle Substitution model Nicrophorus hispaniola Nicrophorus investigator Phylogenetics Maximum likelihood Akaike information criterion Nicrophorus interruptus Silphidae Statistics Science
132	Teaching Math More Effectively, Through Calculational Proofs Author(s): David Gries and Fred B. Schneider Source: The American Mathematical Monthly, Vol. 102, No. 8 (Oct., 1995), pp[removed]Published by: Mathematical As Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-08-21 10:20:02 Mathematical proofs Model theory Logic in computer science Proof theory Propositional calculus Proof by contradiction First-order logic FO Integration by substitution Mathematics Logic Mathematical logic
133	Formalizations Of Substitution Of Equals For Equals David Gries and Fred B. Schneider y Computer Science Department, Cornell University Ithaca, New York[removed]USA May 27, 1998 Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-05-31 13:45:56 Propositional calculus Predicate logic Model theory Quantification First-order logic Function Generalization Universal quantification Modal logic Logic Mathematical logic Mathematics
134	Adding the Everywhere Operator to Propositional Logic DAVID GRIES and FRED B. SCHNEIDER, Computer Science, Cornell University, Ithaca, NY 14853, USA. E-mail: [removed] Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-09 22:22:06 Model theory Boolean algebra Logical syntax First-order logic Substitution Propositional formula Interpretation Modal logic Axiom Logic Mathematical logic Propositional calculus
135	Adding the Everywhere Operator to Propositional Logic David Gries and Fred B. Schneider y Computer Science Department, Cornell University Ithaca, New York[removed]USA May 29, 1996 Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-09 20:15:36 Propositional calculus Model theory Boolean algebra Logical syntax First-order logic Propositional formula Axiom Interpretation Substitution Logic Mathematical logic Mathematics
136	Why was a Fuzzy Model so Successful in Physical Organic Chemistry? Add to Reading List Source URL: hyle.org Language: English - Date: 2013-03-20 19:43:55 Chemical kinetics Chemical engineering SN1 reaction SN2 reaction Nucleophilic substitution Christopher Kelk Ingold Chemical reaction Solvent effects Reaction mechanism Chemistry Substitution reactions Physical organic chemistry
137	A COMPUTATIONAL LEARNING SEMANTICS FOR INDUCTIVE EMPIRICAL KNOWLEDGE KEVIN T. KELLY Abstract. This paper presents a new semantics for inductive empirical knowledge. The epistemic agent is represented concretely as a lear Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2015-02-22 15:09:02 Model theory Deduction Interpretation Philosophy of mind Entailment Modal logic Substitution Universal property Linear temporal logic Logic Propositional calculus Philosophical logic
138	Phylogenetic Analyses: A Toolbox Expanding towards Bayesian Methods Add to Reading List Source URL: dambe.bio.uottawa.ca Language: English - Date: 2008-05-04 22:28:11 Science Bioinformatics Phylogenetics Model selection Molecular evolution Substitution model Sequence alignment Bayes factor Akaike information criterion Statistics Computational phylogenetics Biology
139	Formalizations Of Substitution Of Equals For Equals David Gries 1,2 and Fred B. Schneider 1 1 Computer Science, Univ. of Georgia Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-05-31 13:46:38 Propositional calculus Predicate logic Model theory Quantification First-order logic Function Constructible universe Generalization Universal quantification Logic Mathematical logic Mathematics
140	* Readings: Chapter 6 in Page and Holmes[removed]Molecular Evolution: A Phylogenetic Approach - especially pages[removed]for midterm - scan the sections on quartets Optional: Chapter 11 in Felsenstein (2004) Add to Reading List Source URL: hydrodictyon.eeb.uconn.edu Language: English - Date: 2013-10-07 12:16:58 Bioinformatics Biology Maximum parsimony UPGMA Substitution model Distance matrices in phylogeny Molecular evolution PHYLIP Computational phylogenetics Phylogenetics Science

UPDATE